基于MDA的HLA仿真技术框架设计

近年来MDA在分布式仿真特别是在HLA仿真技术中的应用情况缺乏对MDA与HLA结合的仿真技术整体性的认识,不利于仿真系统开发的宏观指导.基于MDA的HLA仿真技术框架的提出就是从系统的角度研究基于MDA的仿真系统开发过程.该框架从模型通用性的静态角度和建模仿真过程的动态角度出发,分为HLA仿真系统主题域的划分和HLA仿真系统开发过程两部分进行了全面的分析,为今后开展基于MDA的HLA仿真研究提供了一种宏观的指导方法.     

基于场景的C2系统的模拟与评价方法

为适应一体化联合作战指挥控制系统快速决策与实时性能评价的要求,提出一种基于场景的系统快速模拟与评价模型.其优点在于①根据系统需求实现系统的建模、仿真代码自动生成及性能评价.②模型自适应能力强,系统场景设计中的冲突、不完整、安全、性能及行为错误等问题都可以通过仿真过程中不同方面的动态分析检测出来.     

时序驱动的详细布局方法

针对超大规模集成电路布局过程中时序优化问题,提出一种时序驱动的详细布局方法。对设计进行时序分析并获取时序违反路径集合,对路径上两个连续固定单元间的线网进行平滑处理,以减小路径曲折度以及减少线长。再针对每一个可移动单元与其相邻的线网建立二次规划时序模型,求解局部最优布局位置。对于给定的测试电路,实验结果表明,最差的时序违反与总的时序违反均有明显改善,采用ICCAD2015竞赛的测试模板和评价方法,总的时序性能有45~350 min的提升。     

想定驱动的仿真资源发现方法

为解决在云间共享架构的仿真环境下资源的自动发现问题,研究了仿真资源请求的描述方法及相应的资源发现算法,提出了想定驱动的仿真资源发现方法.方法通过扩展的军事想定描述语言表示仿真资源请求,使用双映射三过滤算法实现仿真资源的自动发现.分析表明,仿真想定驱动的资源发现方法可以实现在云间共享架构下仿真运行所需的大量资源的自动发现,并对发现结果具有语用校验功能,对于仿真环境的快速部署具有积极意义.     

Dual-steering mode based on direct yaw moment control for multi-wheel hub motor driven vehicles:Theoretical design and experimental assessment

One of the main challenges for multi-wheel hub motor driven vehicles is the coordination of individual drivetrains to improve mobility and stability in the steering process.This paper proposes a dual-steering mode based on direct yaw moment control for enhancing vehicle steering ability in complex environ-ments.The control system is designed as a hierarchical structure,with a yaw moment decision layer and a driving force distribution layer.In the higher-level layer,the objective optimization function is con-structed to obtain the slip steering ratio,which represents the degree of vehicle slip steering in the dual-steering mode.A yaw moment controller using active disturbance rejection control theory is designed for continuous yaw rate control.When the actual yaw rate of the vehicle deviates from the reference yaw rate obtained by the vehicle reference model and the slip steering ratio,the yaw moment controller is actuated to determine the yaw moment demand for vehicle steering.In the lower-level layer,there is a torque distribution controller based on distribution rules,which meets the requirement of yaw moment demand without affecting the total longitudinal driving force of the vehicle.For verifying the validity and feasibility of the dual-steering mode,simulations were conducted on the hardware-in-loop real-time simulation platform.Additionally,corresponding real vehicle tests were carried out on an eight-wheel prototype vehicle.Test results were generally consistent with the simulation results,thereby demon-strating that the proposed dual-steering mode reduces steering radius and enhances the steering per-formance of the vehicle.     

针对滑动窗口算法的椭圆曲线密码Cache计时攻击

基于访问驱动攻击模型,提出一种针对椭圆曲线滑动窗口算法的踪迹驱动Cache计时攻击方法,引入了方差思想判断每次窗口滑动是否查找了预计算表,提高了攻击成功率．仿真实验结果表踞：由于滑动窗口算法引入了预计算表,易遭受Cache计时攻击．精确采集NITT-192一次加密过程中窗口105次滑动的Cache时间信息即可获取完整密钥．本文的攻击方法对其他使用预计算表的公钥密码具有借鉴意义．     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

基于MDA的HLA系统开发流程与框架设计

HLA作为IEEE认定的分布式仿真标准，随着在军事、民用等仿真领域的广泛运用，其自身的模型重用性、互操作性等不强的弱点逐渐暴露出来，越来越不能满足大型复杂仿真系统的需要。将MDA方法引入HLA仿真系统设计中，尝试用MDA的模型思想对HLA系统进行开发，提升HLA的模型重用性和互操作性。对MDA在HLA系统中各种模型的设计和表述方式进行了分析研究，提出了一个基于MDA开发HLA仿真系统的开发流程，建立了一个基本开发框架，从软件开发的角度提高了系统的开发效率。     

新型飞行模拟器六自由运动系统结构研究

新型大负载飞行模拟器六自由度运动系统是根据大型飞机飞行模拟器的特点,结合传统Stewart六自由度运动系统结构,提出的一种由气动单元提供支撑力、驱动单元提供驱动力的新型六自由度运动系统。它能在有效地提高运动系统承载能力的同时降低驱动单元的负载,使系统安全性得到了大幅度提高,为满足大型飞机飞行模拟器六自由运动系统要求提供了一条新的技术实现途径。在ADAMS平台上建立新型电动六自由度运动系统虚拟样机,结合飞行模拟器系统要求,通过对系统进行动态仿真、自由度分析、结构运动学和动力学分析。得到各驱动单元、气支撑单元以及各铰链在不同运动状态下的驱动力、行程范围、运动速度等特性曲线,为整个运动系统的设计与制造提供依据。     

预处理方法在低速粘性流动中的应用

用时间相关法、LU SGS隐式求解经过预处理后的二维可压Navier Stokes方程 ,数值模拟了低速情况下不同马赫数、不同雷诺数的驱动空腔流动。为了使时间相关法能应用于计算低速流动及加快收敛 ,在控制方程的时间导数项前乘了一个预处理矩阵 ,实现了对方程的预处理。数值模拟结果表明 ,预处理确实加快了计算的收敛性 ,而定常解却没有改变。所得结果与可能的计算结果进行了比较